A Representation Theorem for Geometric Morphisms
نویسنده
چکیده
It it shown that geometric morphisms between elementary toposes can be represented as certain adjunctions between the corresponding categories of locales. These adjunctions are characterized by (i) they preserve the order enrichment and the Sierpiński locale, and (ii) they satisfy Frobenius reciprocity.
منابع مشابه
Lower Bagdomain as a Glueing
One of the important tools for working with the classifying toposes is Diaconescu's theorem, describing geometric morphisms to the topos of presheaves on a small category C in terms of at functors on C. In 4], this theorem is generalized from discrete categories to topological categories, with the additional requirement that the map assigning to an arrow its source is etale (a local homeomorphi...
متن کاملA representation for some groups, a geometric approach
In the present paper, we are going to use geometric and topological concepts, entities and properties of the integral curves of linear vector fields, and the theory of differential equations, to establish a representation for some groups on $R^{n} (ngeq 1)$. Among other things, we investigate the surjectivity and faithfulness of the representation. At the end, we give some app...
متن کاملThe Semistable Reduction Problem for the Space of Morphisms on P
We restate the semistable reduction theorem from geometric invariant theory in the context of spaces of morphisms from Pn to itself. For every complete curve C downstairs, we get a Pn-bundle on an abstract curve D mapping finite-to-one onto C, whose trivializations correspond to not necessarily complete curves upstairs with morphisms corresponding to identifying each fiber with the morphism the...
متن کاملM,N -Adhesive Transformation Systems
The categorical framework of M-adhesive transformation systems does not cover graph transformation with relabelling. Rules that relabel nodes are natural for computing with graphs, however, and are commonly used in graph transformation languages. In this paper, we generalise M-adhesive transformation systems to M,N -adhesive transformation systems, where N is a class of morphisms containing the...
متن کاملThe Space of Morphisms on Projective Space
The theory of moduli of morphisms on P generalizes the study of rational maps on P1. This paper proves three results about the space of morphisms on P of degree d > 1, and its quotient by the conjugation action of PGL(n + 1). First, we prove that this quotient is geometric, and compute the stable and semistable completions of the space of morphisms. This strengthens previous results of Silverma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Categorical Structures
دوره 18 شماره
صفحات -
تاریخ انتشار 2010